Topics in Cognitive Science, Volume 14, Issue 2, Page 241-257, April 2022.

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...) that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.

It is proved that for any k, the class of classical categorial grammars that assign at most k types to each symbol in the alphabet is learnable, in the Gold (1967) sense of identification in the limit from positive data. The proof crucially relies on the fact that the concept known as finite elasticity in the inductive inference literature is preserved under the inverse image of a finite-valued relation. The learning algorithm presented here incorporates Buszkowski and Penn's (1990) algorithm for (...) determining categorial grammars from input consisting of functor-argument structures. (shrink)

Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by Jäger with an entirely straightforward adaptation of the method Pentus used for the original Lambek calculus. The case of the variant of the calculus allowing sequents with empty antecedents is slightly more complicated, requiring a restricted use of the multiplicative unit.

Hirschi and Gottfredson (1983) claim that the relationship between age and crime is similar in all social and cultural conditions and that no current sociological or criminological theory can account for this similarity. We introduce the new field of evolutionary psychology and extend Daly and Wilson's (1988) work on homicide to construct a general theory of male criminality, which explains why men commit violent and property crimes. The theory can also explain the age-crime curve. It might also account for some (...) empirical anomalies such as why physically smaller boys are more delinquent, and why violent criminals desist more slowly. (shrink)

Building on Ben-Avi and Winter’s (2007) work, this paper provides a general “intensionalization” procedure that turns an extensional semantics for a language into an intensionalized one that is capable of accommodating “truly intensional” lexical items without changing the compositional semantic rules. We prove some formal properties of this procedure and clarify its relation to the procedure implicit in Montague’s (1973) PTQ.

Combined with recent evolutionary psychological theories, Crespi & Badcock's (C&B's) intragenomic conflict theory of the social brain suggests that schizophrenics are more religious, and autistics are less religious, than the normal population. Combined with the generalized Trivers-Willard hypothesis (gTWH), it suggests that schizophrenics have more daughters, and autistics have more sons, than expected.

I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like Prawitz’s, works on natural deductions rather than sequent derivations, and, unlike existing methods, always finds a ‘strongest’ interpolant under a certain restricted but reasonable notion of what counts as an ‘interpolant’.

The Last Gift is an observational HIV cure-related research study conducted with people with HIV at the end of life (EOL) at the University of California San Diego. Participants agree to voluntarily donate blood and other biospecimens while living and their bodies for a rapid research autopsy postmortem to better understand HIV reservoir dynamics throughout the entire body. The Last Gift study was initiated in 2017. Since then, 30 volunteers were enrolled who are either (1) terminally ill with a concomitant (...) condition and have a prognosis of 6 months or less or (2) chronically ill with multiple comorbidities and nearing the EOL.Multiple ethical and logistical challenges have been revealed during this time; here, we share our lessons learnt and ethical analysis. Issues relevant to healthcare research include surrogate informed consent, personal and professional boundaries, challenges posed conducting research in a pandemic, and clinician burnout and emotional support. Issues more specific to EOL and postmortem research include dual roles of clinical care and research teams, communication between research personnel and clinical teams, legally required versus rapid research autopsy, identification of next of kin/loved ones and issues of inclusion. Issues specific to the Last Gift include logistics of body donation and rapid research autopsy, and disposition of the body as a study benefit.We recommend EOL research teams to have clear provisions around surrogate informed consent, rotate personnel to maintain boundaries, limit direct contact with staff associated with clinical care and have a clear plan for legally required versus research autopsies, among other recommendations. (shrink)

This volume is an outgrowth of the second Workshop on Logic, Language and Computation held at Stanford in the spring of 1993. The workshop brought together researchers interested in natural language to discuss the current state of the art at the borderline of logic, linguistics and computer science. The papers in this collection fall into three central research areas of the nineties, namely quantifiers, deduction, and context. Each contribution reflects an ever-growing interest in a more dynamic approach to meaning, which (...) focuses on inference patterns and the interpretation of sentences in the context of a larger discourse. The papers apply either current logical machinery - such as linear logic, generalised quantifier theory, dynamic logic - or formal analyses of the notion of context in discourse to classical linguistic issues, with original and thought-provoking results deserving of a wide audience. (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and tree (...) languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

The savanna theory of happiness proposes that, due to evolutionary constraints on the human brain, situations and circumstances that would have increased our ancestors’ happiness may still increase our happiness today, and those that would have decreased their happiness then may still decrease ours today. It further proposes that, because general intelligence evolved to solve evolutionarily novel problems, this tendency may be stronger among less intelligent individuals. Because humans are a diurnal species that cannot see in the dark, darkness always (...) represented danger to our ancestors and may still decrease our happiness today. Consistent with this prediction, the analysis of the National Longitudinal Study of Adolescent to Adult Health (Add Health) data shows that exposure to sunlight was associated with happiness but the association was significantly weaker among more intelligent individuals. (shrink)

三島教授は、60年代末から70年代はじめの社会的思想的な激動期を挾んで、長年、法思想史・法哲学の研究と教育に携わって、わが国の法哲学界において思想的支柱を担う一人として活躍してこられた。カントをはじめ とするドイツ観念論の法思想、プラトンを中心とする古代ギリシャ法思想、現代自然法論の法思想などに関する一連の研究は、わが国の法思想史研究の画期をなすものであるのみならず、その背後にあって導いている「人間 存在の根源」への真摯な問は、教授の研究に接する者に絶えざる再考を促している。教授の退官を記念して、論集を編むこととなったのは、教授が研究してこられた学問分野と、教授の研究の背後にあるものへのあらたな関 心をよぶ機会としたいと願うからである。.

Pupil contagion is the phenomenon in which an observer’s pupil-diameter changes in response to another person’s pupil. Even chimpanzees and infants in early development stages show pupil contagion. This study investigated whether dynamic changes in pupil diameter would induce changes in infants’ pupil diameter. We also investigated pupil contagion in the context of different faces. We measured the pupil-diameter of 50 five- to six-month-old infants in response to changes in the pupil diameter of upright and inverted faces. The results showed (...) that in the upright presentation condition, dilating the pupil diameter induced a change in the infants’ pupil diameter while constricting the pupil diameter did not induce a change, and pupil contagion occurred only in the upright face presentation, and not in the inverted face presentation. These results indicate the face-inversion effect in infants’ pupil contagion. (shrink)

This study examined whether 8-month-old infants’ hemodynamic responses in the temporal region were modulated by repeated presentation of “Peekaboo” by using functional near-infrared spectroscopy. Previous studies have shown that infants’ temporal region responds to faces. A recent electroencephalography study showed that the neural activity of infants was modulated by repeated presentation of “Peekaboo.” Some fNIRS studies also revealed that the movie of “Peekaboo” activated the hemodynamic response of the temporal region in infancy. However, no studies have shown the hemodynamic modulation (...) of the temporal region according to the repeated presentation of “Peekaboo” in infants. In order to examine whether the hemodynamic responses of the temporal region were modulated by repeated presentation of “Peekaboo,” we compared the activity of the temporal region between the early and late trials. We set long and short delays before face-presentation. The results showed that the concentration of oxy-hemoglobin in the right occipitotemporal region in both conditions increased after the presentation of “Peekaboo” relative to the baseline. Moreover, in the long delay condition, the hemodynamic modulation of the right occipitotemporal region was induced according to the repeated presentation of “Peekaboo” in infants. (shrink)

Little is known about the time of development of the binocular suppression. In the present study, we evaluated the emergence of binocular suppression in infants by using continuous flash suppression (CFS, Tsuchiya & Koch, 2006). In our experiment, one eye of infants presented with a static face image at one side of the screen, while another eye is presented with dynamic Mondrian patterns in full screen. Adult observers confirmed that the static face image was consciously repressed by the changing Mondrian (...) patterns. If binocular suppression were functional, the infant would not perceive the face as did the adults, and thus would not show any preference in the experiment. However, if binocular suppression in the infants were not yet acquired, they would perceive the face and the Mondrian patterns at the same time, and would thus show preference for the side where the face was presented. The results showed that infants aged 2–3 months, but not those aged 4–5 months, detected the position of the face. Furthermore, this detection was not due to weak contrast sensitivity to the dynamic Mondrian mask. These results indicated that the immature binocular visual system may perceive different images from different eyes simultaneously, and that infants may lose this ability after establishing binocular suppression at 4–5 months of age. (shrink)

This paper surveys the historiography of the global response to HIV/AIDS. Since 1981, when the disease was first identified, there have been great strides in the medical and biological sciences in understanding the impact of the new virus on the human immune system. Although there is still no successful vaccine, antiretroviral (ART) treatment continues to improve the likelihood of HIV-positive people living long and healthy lives. We have also seen a few exciting cases of full recovery, which will allow scientists (...) to explore new avenues towards a cure. Yet the AIDS pandemic is by no means over: 40 million have died and over 35 million individuals still live with HIV. More importantly, as historians and scholars in the humanities and social sciences have been pointing out since the early 1980s, HIV brought to light how non-medical factors play a critical role in a successful disease response. As the global community faces the aftermath of a new pandemic, it is timely to examine how broader social, economic, political, and cultural factors influence individual experiences of disease at local, national, international, and global scales. This essay examines how scholars have written historically about the HIV pandemic, using a variety of methods and approaches: from traditional histories of medicine to anthropologies of development. While HIV has sparked a massive corpus of historical reflection from a variety of disciplines, its contemporaneity means that “global AIDS historiography” cannot yet be described as a cohesive academic conversation. Yet what unites the scholarship, this essay argues, is its use of HIV to examine how and why post-war social and economic systems have achieved health objectives for some populations and not others. (shrink)

BackgroundOne of the next frontiers in HIV research is focused on finding a cure. A new priority includes people with HIV (PWH) with non-AIDS terminal illnesses who are willing to donate their bodies at the end-of-life (EOL) to advance the search towards an HIV cure. We endeavored to understand perceptions of this research and to identify ethical and practical considerations relevant to implementing it.MethodsWe conducted 20 in-depth interviews and 3 virtual focus groups among four types of key stakeholders in the (...) United States (PWH, biomedical HIV cure researchers, HIV clinicians, and bioethicists) to obtain triangulated viewpoints because little was known about the ethics of this topic. Each group was queried as to ethical considerations, safeguards, and protections for conducting HIV cure-related research at the EOL to ensure this research remains acceptable.ResultsAll four key stakeholder groups generally supported HIV cure-related research conducted at the EOL because of the history of altruism within the PWH community and the potential for substantial scientific knowledge to be gained. Our informants expressed that: (1) Strong stakeholder and community involvement are integral to the ethical and effective implementation, as well as the social acceptability of this research; (2) PWH approaching the EOL should not inherently be considered a vulnerable class and their autonomy must be respected when choosing to participate in HIV cure-related research at the EOL; (3) Greater diversity among study participants, as well as multi-disciplinary research teams, is necessitated by HIV cure-related research at the EOL; (4) The sensitive nature of this research warrants robust oversight to ensure a favorable risk/benefit balance and to minimize the possibility of therapeutic misconception or undue influence; and (5) Research protocols should remain flexible to accommodate participants’ comfort and needs at the EOL.ConclusionBecause of the ethical issues presented by HIV cure-related research at the EOL, robust ethical safeguards are of utmost importance. The proposed ethical and practical considerations presented herein is a first step in determining the best way to maximize this research’s impact and social value. More much inquiry will need to be directed towards understanding context-specific and cultural considerations for implementing EOL HIV cure research in diverse settings. (shrink)

BackgroundHIV cure research involving cell and gene therapy has intensified in recent years. There is a growing need to identify ethical standards and safeguards to ensure cell and gene therapy (CGT) HIV cure research remains valued and acceptable to as many stakeholders as possible as it advances on a global scale.MethodsTo elicit preliminary ethical and practical considerations to guide CGT HIV cure research, we implemented a qualitative, in-depth interview study with three key stakeholder groups in the United States: (1) biomedical (...) HIV cure researchers, (2) bioethicists, and (3) community stakeholders. Interviews permitted evaluation of informants’ perspectives on how CGT HIV cure research should ethically occur, and were transcribed verbatim. We applied conventional content analysis focused on inductive reasoning to analyze the rich qualitative data and derive key ethical and practical considerations related to CGT towards an HIV cure.ResultsWe interviewed 13 biomedical researchers, 5 community members, and 1 bioethicist. Informants generated considerations related to: perceived benefits of CGT towards an HIV cure, perceived risks, considerations necessary to ensure an acceptable benefit/risk balance, CGT strategies considered unacceptable, additional ethical considerations, and considerations for first-in-human CGT HIV cure trials. Informants also proposed important safeguards to developing CGT approaches towards an HIV cure, such as the importance of mitigating off-target effects, mitigating risks associated with long-term duration of CGT interventions, and mitigating risks of immune overreactions.ConclusionOur study identified preliminary considerations for CGT-based HIV cure across three key stakeholder groups. Respondents identified an ideal cure strategy as one which would durably control HIV infection, protect the individual from re-acquisition, and eliminate transmission to others. Known and unknown risks should be anticipated and perceived as learning opportunities to preserve and honor the altruism of participants. Preclinical studies should support these considerations and be transparently reviewed by regulatory experts and peers prior to first-in-human studies. To protect the public trust in CGT HIV cure research, ethical and practical considerations should be periodically revisited and updated as the science continues to evolve. Additional ethics studies are required to expand stakeholder participation to include traditionally marginalized groups and clinical care providers. (shrink)